$\forall$$r$:rationals. (1 $\ast$ $r$) = $r$